formal proofs - İngilizce Eş Anlamlılar Sözlük